F0l syetem
[计] 带有限公理集的林氏无关系统
🗣️ 情景例句
I hear they intend to marry.
我听说他们打算结婚。
He that knows nothing, doubts nothing.
无知就无疑。
Good.we can't extend the deadline.
那好，我们可不能延期的。